Câu ví dụ
- That is, the discrete space X is free on the set X in the category of topological spaces and continuous maps or in the category of uniform spaces and uniformly continuous maps.
Nghĩa là, không gian rời rạc X là tự do trên tập hợp X trong loại của các không gian tô pô và các hàm liên tục hay là trong loại của các không gian thuần nhất và các hàm liên tục đều. - Homeomorphisms are the isomorphisms in the category of topological spaces — that is, they are the mappings which preserve all the topological properties of a given space.
Những phép đồng phôi là những phép đẳng cấu(isomorphism) trong thể loại không gian tôpô(category of topological spaces, Top), đó là, chúng bảo toàn tất cả các tính chất tôpô cho một không gian nhất định.
